Synthesizing code quality rules from examples

Static Analysis tools have rules for several code quality issues and these are created by experts manually. In this paper, we address the problem of automatic synthesis from examples. We formulate rule as synthesizing first order logic formulas over graph representations code. present a new algorithm RhoSynth that is based on Integer Linear Programming-based alignment identifying elements interest to rule. bootstrap leveraging changes made developers source positive negative also refinement in which incrementally improved with additional user-provided validate more than 30 Java rules. These been deployed part Amazon CodeGuru Reviewer their precision exceeds 75% developer feedback collected during live code-reviews within Amazon. Through comparisons recent baselines, show current state-of-the-art program approaches unable synthesize most